$\forall$$a$, $b$:$\mathbb{Q}$. ($\neg$$a$ $\leq$ $b$) $\Leftarrow\!\Rightarrow$ $b$ $<$ $a$